Optimization software - PDFSEARCH.IO - Document Search Engine

Optimization software
Results: 2622

#	Item
601	The Design of E SSENCE: A Constraint Language for Specifying Combinatorial Problems Alan M. Frisch1 Matthew Grum1 Bernadette Mart´ınez Hern´andez1 1 Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2008-04-29 12:08:04 Computer programming Constraint satisfaction Constraint logic programming ECLiPSe Type system Data type Mathematical optimization Function Decomposition method Constraint programming Declarative programming Software engineering
602	Automatically Generating Algebra Problems Rohit Singh∗ Sumit Gulwani Sriram Rajamani Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-04-24 02:24:40 Software engineering Constraint satisfaction problem Backtracking Function FO Mathematical optimization Decomposition method Local consistency Constraint programming Mathematics Theoretical computer science
603	Charles University in Prague Faculty of Mathematics and Physics arXiv:1403.6997v1 [cs.PL] 27 MarMASTER THESIS Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-03-27 20:36:50 Compiler optimizations Compiler construction Programming language implementation GNU Compiler Collection LLVM Link-time optimization Compiler Gold Standard Performance Evaluation Corporation Software Computing Compilers
604	Closing the Open Shop: Contradicting Conventional Wisdom Diarmuid Grimes1 , Emmanuel Hebrard1 , and Arnaud Malapert2 1 Cork Constraint Computation Centre & University College Cork, Ireland Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:31 Applied mathematics Computer programming Mathematical optimization Heuristics Job shop scheduling Constraint satisfaction A* search algorithm Search algorithm Heuristic function Operations research Constraint programming Software engineering
605	VMware Horizon with View Optimization Guide for Windows 7 and Windows 8 W H I T E PA P E R VMware Horizon with View Optimization Guide Add to Reading List Source URL: www.vmware.com Language: English - Date: 2014-07-18 05:15:01 Microsoft Deployment Toolkit Virtual machine Windows VMware Fusion VMware Server System software Software VMware
606	Nathan Cooprider — Research Statement 1229 University Village Salt Lake City, UThttp://www.cs.utah.edu/~coop home + Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2013-01-25 12:14:14 Embedded systems Wireless sensor network TinyOS NesC Compiler optimization Microcontroller Compiler Dataflow Pointer Computing Software engineering Programming language implementation
607	SIGMA Optimization Pro Instruction Manual TABLE OF CONTENTS TABLE OF CONTENTS 1 Add to Reading List Source URL: www.sigma-global.com Language: English - Date: 2014-04-18 01:15:30 Mac OS X Industrial designs Mac OS X Lion Dock Finder Universal Serial Bus Macintosh Camera lens Live USB System software Software Computing
608	Agillian Site Audit 2014 Add to Reading List Source URL: www.agillian.com Language: English - Date: 2014-03-12 01:40:18 Search engine optimization Web design Content management systems Robots exclusion standard Blog software Sitemaps Site map WordPress Meta element Software Computing World Wide Web
609	Constraint propagation on quadratic constraints Ferenc Domes, Arnold Neumaier Faculty of Mathematics, University of Vienna Nordbergstrasse 15, A-1090 Vienna, Austria March 19, 2008 Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2009-01-15 06:59:38 Mathematics Local consistency Constraint satisfaction Constraint optimization Quadratic programming Mathematical optimization Quadratic equation Interval arithmetic Constraint programming Software engineering Computer programming
610	Spreadsheet Table Transformations from Examples William R. Harris ∗ Sumit Gulwani Dept. of Computer Sciences Add to Reading List Source URL: research.microsoft.com Language: English Software optimization Computer programming Spreadsheet Lookup table Function Algorithm Table Filter Computer Mathematics Computing Computer performance

UPDATE